Real time process algebra with time-dependent conditions
نویسندگان
چکیده
منابع مشابه
Real time process algebra with time-dependent conditions
We add conditionals with time-dependent conditions to the real time process algebra with parametric timing from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001, Chapter 10]. This extension facilitates flexible dependence of process behaviour on initialization time. We show that the conditions concerned generalize the ...
متن کاملReal Time Process Algebra with Infinitesimals
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملProcess Algebra with Timing Real Time and Discrete Time
We present real time and discrete time versions of ACP with absolute timing and relative timing The starting point is a new real time version with absolute timing called ACPsat featuring urgent actions and a delay operator The discrete time versions are conservative extensions of the discrete time versions of ACP being known as ACPdat and ACPdrt The principal version is an extension of ACPsat w...
متن کاملTime-Dependent Real-Space Renormalization Group Method
In this paper, using the tight-binding model, we extend the real-space renormalization group method to time-dependent Hamiltonians. We drive the time-dependent recursion relations for the renormalized tight-binding Hamiltonian by decimating selective sites of lattice iteratively. The formalism is then used for the calculation of the local density of electronic states for a one dimensional quant...
متن کاملThe Real-Time Process Algebra (RTPA)
The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a three-dimensional problem known as: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulations. Conventional formal methods in software engineerin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2001
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(01)00004-2